José Meseguer (auth.) : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (29)
Les plus populaires
Liste
- Liste
- Tableau

1

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 10.15 MB

0 / 0

english, 2008

2

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Springer-Verlag Berlin Heidelberg

Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 6.75 MB

0 / 0

english, 2011

3

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 9.86 MB

0 / 4.0

english, 1999

4

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 24.22 MB

0 / 0

english, 2008

5

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 8.73 MB

0 / 0

english, 2008

6

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 12.00 MB

0 / 0

english, 2004

7

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 3.31 MB

0 / 0

english, 2009

8

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 4.40 MB

0 / 0

english, 2004

9

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

Année:

1999

Langue:

english

Fichier:

DJVU, 2.64 MB

0 / 0

english, 1999

10

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 4.28 MB

0 / 0

english, 2011

11

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 6.57 MB

0 / 0

english, 2006

12

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Année:

2004

Langue:

english

Fichier:

DJVU, 9.11 MB

0 / 0

english, 2004

13

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 4.58 MB

0 / 0

english, 2011

14

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Farhad Arbab, Peter Csaba Ölveczky (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 9.07 MB

0 / 0

english, 2012

15

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 2.25 MB

0 / 0

english, 2000

16

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 23.45 MB

0 / 4.0

english, 2008

17

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

Springer-Verlag Berlin Heidelberg

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.51 MB

0 / 0

english, 2007

18

Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 10.29 MB

0 / 0

english, 2000

19

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), D. M. Gabbay, F. Guenthner (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 10.14 MB

0 / 0

english, 2002

20

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 5.67 MB

0 / 0

english, 2005

21

Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

Année:

2000

Langue:

english

Fichier:

DJVU, 3.20 MB

0 / 0

english, 2000

22

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 3.86 MB

0 / 0

english, 2013

23

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

Année:

1987

Langue:

english

Fichier:

DJVU, 3.99 MB

0 / 0

english, 1987

24

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 5.85 MB

0 / 0

english, 2002

25

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 5.45 MB

0 / 0

english, 2009

26

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 4.34 MB

0 / 0

english, 2002

27

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 5.89 MB

0 / 0

english, 2005

28

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 3.52 MB

0 / 0

english, 2000

29

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 3.41 MB

0 / 0

english, 2009